Modeling HTML in Haskell
نویسنده
چکیده
منابع مشابه
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML/XML documents are guaranteed to be well-formed. In addition, each library can guarantee that the generated documents are valid XML documents to a certain extent (for HTML only a weaker guarantee is possible). On top o...
متن کاملStrong (X)HTML Compliance with Haskell's Flexible Type System
We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this superficial non-context-free language can be represented and rendered to guarantee World Wide Web Consortium (W3C) compliance. Compliance of web content is important for the health of the Internet, accessibility, visibility, and reliable search. While tools exist to verify web content is com...
متن کاملBuilding .NET GUIs for Haskell applications
.NET is an emerging Microsoft’s project which promotes a new framework for Software Development emphasizing the use of Internet resources and the interaction between components written in different programming languages. Whereas functional programming languages such as Haskell are well-suited for developing tools to analyze, verify and transform programs, typical Haskell compilers do not provid...
متن کاملOptimising Embedded Domain Specific Languages
(Embedded) Domain Specific Languages (eDSL) are becoming a significant part of our programming challenges. Many programming languages have to interface with SQL, HTML, etc. A specific area of research are parser combinator libraries like Parsec (written in Haskell), which unlike parser generators, are barely optimised. This paper offers a solution to optimise a dialect of Parsec and demonstrate...
متن کاملWhy It's Nice to be Quoted: Quasiquoting for Prolog
Prolog’s support for dynamic programming, meta programming and text processing using context free grammars make the language highly suitable for defining domain specific languages (DSL) as well as analysing, refactoring or generating expression states in other (programming) languages. Well known DSLs are the DCG (Definite Clause Grammar) notation and constraint languages such as CHR. These exte...
متن کامل